Reasoning with uncertainty and context-dependent languages
نویسنده
چکیده
A topos of presheaves can be seen as an extension of classical set theory, where sets vary over informational states, therefore it is a powerful and expressive mathematical framework. I introduce a suitable topos of presheaves where imprecise probabilities and imprecise probabilistic reasoning can be represented. In this way we obtain a mathematical definition of imprecise-probabilistic sets. A valid and complete proof system, w.r.t. the intended semantics of imprecise probabilities, is described using the internal language of the topos.
منابع مشابه
Adaptive uncertain information fusion to enhance plan selection in BDI agent systems
Correctly modelling and reasoning with uncertain information from heterogeneous sources in large-scale systems is critical when the reliability is unknown and we still want to derive adequate conclusions. To this end, context-dependent merging strategies have been proposed in the literature. In this paper we investigate how one such context-dependent merging strategy (originally defined for pos...
متن کاملUncertainty and Description Logic Programs: A Proposal for Expressing Rules and Uncertainty on Top of Ontologies
Rule-based and object-oriented techniques are rapidly making their way into the infrastructure for representing and reasoning about the Semantic Web and combining these two paradigms emerges as an important objective. We present a new family of representation languages, which extents existing language families for the Semantic Web: namely Description Logic Programs (DLPs) and DLPs with uncertai...
متن کاملLogic Programming and Uncertainty
In recent years Logic programming based languages and features– such as rules and non-monotonic constructs–have become important in various knowledge representation paradigms. While the early logic programming languages, such as Horn logic programs and Prolog did not focus on expressing and reasoning with uncertainty, in recent years logic programming languages have been developed that can expr...
متن کاملA Bayesian Evaluation of the Cost of Abstractness
In this paper, we show how the modern study of reasoning under uncertainty can shed light on problems in phonology. In particular, we show how Bayesian reasoning can be used for model comparison, modeling an ideal learner. Taking a typical case of abstractness in phonology as an example, we show that Bayesian reasoning has inherent in it a simplicity bias, which is of potentially great interest...
متن کاملContext-dependent reasoning with lexical knowledge using default logic
Lexical knowledge is increasingly important in language engineering. However, it is a dii-cult kind of knowledge to represent and reason with. Existing approaches to formalizing lexical knowledge have used languages with limited expressibility and in particular they have not addressed the context-dependent nature of lexical knowledge. Here we present a framework, based on default logic, called ...
متن کامل